Backus 函数式编程论文

概述

John Backus 于1978年发表的图灵奖演讲《Can Programming Be Liberated from the von Neumann Style?》，FORTRAN 之父对自己创造的编程范式发起系统性批判，提出了函数式编程（FP）系统和程序代数。

关键内容

论文信息

字段内容

标题 Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs

作者 John Backus

字段	内容
标题	Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
作者	John Backus
发表时间	1978年8月（1977年阿兰·图灵</td> </tr> <tr> <td><strong>刊物</strong></td> <td>Communications of the ACM, Vol. 21, No. 8, pp. 613-641</td> </tr> </tbody> </table> <h3 id="_4">核心贡献</h3> <ul> <li><strong>"[[冯·诺依曼瓶颈"概念：不仅是硬件层面的数据传输限制，更是思维层面的"逐字操作"桎梏 FP 系统：具体的函数式编程方案，没有变量、没有赋值、没有状态程序代数：程序服从代数法则，可以像数学表达式一样推理和变换 map/reduce 模式：`alpha f`（映射）和 `/f`（归约），后来成为 MapReduce 的理论源头历史影响 2004年：Google MapReduce 在工业规模上验证了 Backus 的核心论点函数式编程获得前所未有的合法性多范式融合成为现代编程语言的主流来源 raw/books/计算机科学/12-backus-liberated-von-neumann.md 相关 John Backus — 作者函数式编程 — 为函数式编程正名冯·诺依曼瓶颈 — 从思维层面定义 FORTRAN — 批判自己创造的范式 LISP — 思想源头 MapReduce — map/reduce 模式的源头 Edsger Dijkstra — 同时代对编程范式的反思 ← BST Badrul Sarwar →

发表时间

1978年8月（1977年阿兰·图灵</td> </tr> <tr> <td><strong>刊物</strong></td> <td>Communications of the ACM, Vol. 21, No. 8, pp. 613-641</td> </tr> </tbody> </table> <h3 id="_4">核心贡献</h3> <ul> <li><strong>"[[冯·诺依曼瓶颈"概念：不仅是硬件层面的数据传输限制，更是思维层面的"逐字操作"桎梏

FP 系统：具体的函数式编程方案，没有变量、没有赋值、没有状态

程序代数：程序服从代数法则，可以像数学表达式一样推理和变换

map/reduce 模式：alpha f（映射）和 /f（归约），后来成为 MapReduce 的理论源头

历史影响

2004年：Google MapReduce 在工业规模上验证了 Backus 的核心论点
函数式编程获得前所未有的合法性
多范式融合成为现代编程语言的主流

来源

raw/books/计算机科学/12-backus-liberated-von-neumann.md

Backus 函数式编程论文

概述

关键内容

论文信息

历史影响

来源

相关